// 
// File:   console.cc
// Author: cionescu
//
// Created on 6 January 2007, 19:58
//

#include <stdlib.h>
//
// 
//
int
main(int argc, char** argv) {
    
    return (EXIT_SUCCESS);
}

